Synchronizing Multiagent Plans Using Temporal Logic Speciications
نویسنده
چکیده
Plan synchronization is a method of analyzing multi-agent plans to introduce ordering constraints between them so that their concurrent execution achieves a desired goal. We describe a plan synchronization method for goals expressed using temporal logic speciications. Our goals can involve both qualitative and quantitative time requirements. The requirements expressed by a goal can involve safety constraints as well as live-ness ones. The key to our method is a technique for checking goal formulas incrementally over models of concurrent executions of plans. Our approach covers more general goal types than any comparable method. It also promises easy integration with standard AI planning search control and heuristic strategies.
منابع مشابه
Synchronizing Multiagent Plans Using Temporal Logic Specifications
Plan synchronization is a method of analyzing multiagent plans to introduce ordering constraints between them so that heir concurrent xecution achieves a desired goal. We describe a plan synchronization method for goals expressed using temporal logic specifications. Our goals can involve both qualitative and quantitative time requirements. The requirements expressed by a goal can involve safety...
متن کاملCoordinating Heterogeneous Autonomous Agents
We address the problem of constructing multiagent systems by coordinating heterogeneous , autonomous agents, whose internal designs may not be fully known. We develop a customizable coordination service that (a) takes declarative speciications of the desired interactions, and (b) automatically enacts them. Our approach is based on temporal logic, and has a rigorous semantics and a naturally dis...
متن کاملDeduction-based Reenement Planning
We introduce a method of deduction-based re-nement planning where prefabricated general solutions are adapted to special problems. Re-nement proceeds by stepwise transforming non-constructive problem speciications into exe-cutable plans. For each reenement step there is a correctness proof guaranteeing the soundness of reenement and with that the generation of prov-ably correct plans. By solvin...
متن کاملSpeci cations into Temporal
This paper presents a method for automatically translating natural language speciications into temporal logic. Using this method, users may express complex speciications in relatively free natural language , allowing multi-sentence speciications, the use of pronouns instead of repeating the description of previously mentioned objects and complex temporal relations. These speciications are trans...
متن کاملVisual Tools for Temporal Reasoning
We describe a prototype toolkit for reasoning about Graphical Interval Logic (GIL) speciications of concurrent systems. GIL is a visual temporal logic that is intended to be more intuitive and easier to use than standard textual temporal logics. The GIL toolkit helps system designers to create graphical speciications of concurrent systems, to verify properties of those systems from their specii...
متن کامل